Meditate when mind reading

Type statements can't be used with CAW because some of the type statements needed for multiple predicates would be too difficult to write, instead mode statements can be used.
- don't use type statements for uniformity, use Data to Types at end

As an easter egg, "Input as mode" in a mode statement can mean input or output, i.e. input in programs may be treated as output. However, Combination Algorithm Writer (CAW) would ask for and get input.